Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
نویسندگان
چکیده
We develop a high-level ASM specification for the Condor system that provides powerful methods and tools for managing knowledge represented by conditionals. Thereby, we are able to elaborate crucial interdependencies between different aspects of knowledge representation, knowledge discovery, and belief revision. Moreover, this specification provides the basis for a stepwise refinement development process of the Condor system based on the ASM methodology.
منابع مشابه
On the Modelling of an Agent's Epistemic State and its Dynamic Changes
Given a set of unquantified conditionals considered as default rules or a set of quantified conditionals such as probabilistic rules, an agent can build up its internal epistemic state from such a knowledge base by inductive reasoning techniques. Besides certain (logical) knowledge, epistemic states are supposed to allow the representation of preferences, beliefs, assumptions etc. of an intelli...
متن کاملImproved Revision of Ranking Functions for the Generalization of Belief in the Context of Unobserved Variables
Abstract: To enable a reinforcement learning agent to acquire symbolical knowledge, we augment it with a high-level knowledge representation. This representation consists of ordinal conditional functions (OCF) which allow it to rank world models. By this means the agent is enabled to complement the self-organizing capabilities of the low-level reinforcement learning sub-system by reasoning capa...
متن کاملConditional probabilistic reasoning without conditional logic
Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revision functions, Standard Imaging and General Imaging, have successfully been applied to modelling information retrieval (IR). Due to the problematic nature of a“direct” implementation of Imaging revision functions, we propose the...
متن کاملOn the Importance of Context to Improve Knowledge Discovery
In this paper, we propose an environment that assists a scientist working in an experimental field to take decisions to revise his knowledge by giving him contextual explanations. These contextual explanations regard the experimental data and contextual presentation of the tools’ results. K e y w o r d s : knowledge revision, modelling, explanation, knowledge revision, context . _______________...
متن کاملEntrenchment of Knowledge Types 1 On the epistemic entrenchment of different types of knowledge expressed as conditionals in belief revision tasks
On the epistemic entrenchment of different types of knowledge expressed as conditionals in belief revision tasks Renée Elio Abstract Some belief revision theories appeal to the notion of epistemic entrenchment as a guide to choosing among alternative ways of removing inconsistency that new information may cause with existing beliefs. While belief revision theorists may not be interested in natu...
متن کامل